var idFormulario = "formularioProfesor"

function focoProfesor(){
	var formulario=document.getElementById(idFormulario);
	formulario.dni.focus();
}

function focoProfesor2(){
	var formulario=document.getElementById(idFormulario);
	formulario.nombre.focus();
}

function anadirProfesor(){
	var formulario=document.getElementById(idFormulario);
	formulario.opcion.value = "30a";
	formulario.submit();
}

function seleccionarProfesor(numero){
	var formulario=document.getElementById(idFormulario);
	formulario.opcion.value="31a";
	formulario.numeroProfesor.value=numero;
	formulario.submit();
}

function modificarProfesor(){
	var formulario=document.getElementById(idFormulario);
	formulario.opcion.value = "31b";
	formulario.submit();
}